Skip to content

simplify and clean up branching in verifier#1276

Open
hero78119 wants to merge 1 commit intomasterfrom
feat/simplify_observe_flow
Open

simplify and clean up branching in verifier#1276
hero78119 wants to merge 1 commit intomasterfrom
feat/simplify_observe_flow

Conversation

@hero78119
Copy link
Collaborator

@hero78119 hero78119 commented Mar 25, 2026

This PR introduce some changes to simplify recursion verifier development

Notes

  • simplify branching 1: always write 2 fixed_commitment
  • simplify branching 2: Standardized chip num_instances to fixed two-lane format ([usize; 2]) across zkVM prove/verify paths.

@hero78119 hero78119 force-pushed the feat/simplify_observe_flow branch from 7d5793d to a6285df Compare March 25, 2026 06:51
@hero78119 hero78119 force-pushed the feat/simplify_observe_flow branch from a6285df to 1f0427b Compare March 25, 2026 06:53
@hero78119 hero78119 changed the title Refactor num_instances to fixed size array, clean up branching in verifier simplify and clean up branching in verifier Mar 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant